Topos theory and ‘neo-realist’ quantum theory
نویسنده
چکیده
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves as a ‘mathematical universe’ with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how this works for (algebraic) quantum theory.
منابع مشابه
Topos Theoretic Quantum Realism
Topos Quantum Theory (TQT) is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics. In this paper, we study the extent to which TQT can really be characterised as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for...
متن کاملKochen-Specker Theorem and Valuations in the language of Topos Theory
Quantum Theory seems to be an anti-realist Theory, because of the existance of the KochenSpecker Theorem which asserts that it is impossible to evaluate propositions such that their truth values belong to the set {1, 2}. However, it is possible, using the Topos Theory of presheaves, to define a new kind of valuation (sieved-valued valuations) for Quantum quantities which is defined on all opera...
متن کاملA Topos Perspective on the Kochen - Specker Theorem : I . Mathematical Development
Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. T...
متن کاملA Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations
Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. T...
متن کاملSome Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity
We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Section 1, we introduce these problems. In Section 2, we introduce topos theory, especially the idea of a topos of presheaves. In Section 3, we discuss several possible applications of topos theory to the problems in Section 1. In Section 4...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007